Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
541	From Mathematical Logic, to Natural Language, Artificial Intelligence, and Human Thinking (A short essay in honour of Andrzej Mostowski) In Andrzej Mostowski and Foundational Studies (Eds. A. Ehrenfeucht, V.W. Marek and Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-02-23 08:49:19 Non-classical logic Philosophical logic Knowledge representation Logical consequence Robert Kowalski Abductive logic programming Mostowski Modal logic Event calculus Logic Mathematical logic Logic programming
542	Abstract The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In the literature, there is no descr Add to Reading List Source URL: www.science-of-medicine.netne.net Language: English - Date: 2013-02-01 20:22:38 Non-classical logic Paraconsistent logic Philosophical logic Method of analytic tableaux Well-formed formula Ordinal number Symbol Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
543	Models for Substructural Arithmetics Greg Restall School of Philosophy The University of Melbourne1 [removed] http://consequently.org/writing/mfsa Add to Reading List Source URL: consequently.org Language: English - Date: 2007-06-26 05:31:00 Model theory Non-classical logic Algebraic structures Equivalence relation Philosophical logic Congruence relation Peano axioms First-order logic Relevance logic Logic Mathematical logic Mathematics
544	Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practi Add to Reading List Source URL: www.modern-medical-science.site88.net Language: English - Date: 2013-02-01 20:00:14 Non-classical logic Metalogic Model theory Entailment Interpretation Many-valued logic Modal logic Newton da Costa Logical connective Logic Philosophical logic Paraconsistent logic
545	Barriers to Implication Greg Restall Gillian Russell Philosophy Department Add to Reading List Source URL: consequently.org Language: English - Date: 2009-01-07 08:48:35 Philosophical logic Metalogic Propositional calculus Modal logic Non-classical logic Interpretation Entailment First-order logic Structure Logic Philosophy Model theory
546	assertion, denial and non-classical theories Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne Add to Reading List Source URL: consequently.org Language: English - Date: 2009-07-31 06:48:36 Propositional calculus Semantics Logical connectives Interpretation Entailment Universal quantification Vacuous truth Negation Function Logic Philosophical logic Non-classical logic
547	235 Abduction Compared with Negation by Failure Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-05-01 12:54:56 Reasoning Non-classical logic Deduction Knowledge representation Abductive reasoning Stable model semantics Non-monotonic logic Default logic Negation Logic Science Logic programming
548	/tmp/scitmp[removed]figure1.eps Add to Reading List Source URL: dcn.infos.ru Language: English - Date: 2013-12-02 02:58:52 Non-classical logic Philosophical logic Algorithm Reduction Logic Mathematics Modal logic
549	The Influence of Probabilistic Methodologies on Networking Thomer M. Gil Abstract tubes. However, the simulation of agents Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2005-04-09 16:37:16 Modal logic Non-classical logic Philosophical logic
550	Robustness of Evidential Probability Choh Man Teng and Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal cm.teng,[removed]. Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:29 Philosophical logic Non-classical logic Modal logic Propositional calculus Interpretation Probabilistic logic Symbol First-order logic Entailment Logic Mathematical logic Model theory

UPDATE